package prolog.terms

class Fail {

}